Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing

Conditional resource sharing has been identified as a possibility for optimizing high-level synthesis results. In this paper we propose a Hierarchical Conditional Dependency Graph representation that permits to treat conditional resource sharing in a generic fashion depending on the specific context, i.e. functional units, storage elements and interconnects. Resource usage conditions are represented in a control hierarchy of BDD trees that permits to efficiently reason on condition exclusiveness. These ideas are illustrated by a scheduling example.